<?php
session_start();
echo "<center><h4><font color='red'>You are logged in as </h4></font>".$_SESSION['user'];
  echo "</BR/></BR/></BR/><a target='_parent' href='index.php'>HOME</a>";
?>